Some prime elements in the lattice of interpretability types
نویسندگان
چکیده
منابع مشابه
Some Prime Elements in the Lattice of Interpretability Types
A general theorem is proved which implies that the types of PA (Peano Arithmetic), ZF (Zermelo-Fraenkel Set Theory) and GB (Gödel-Bernays Set Theory) are prime in the lattice of interpretability types. 0. Introduction. One of the important goals of mathematical logic is to investigate the strength of theories. A good approximation to the intuitive concept of strength is the quasiordering "7 is ...
متن کاملSome Theorems on the Lattice of Local Interpretability Types
In [4] J. MYCIELSKI introduced a very general notion of multidimensional local interpretability of first ordet theories. If we definethe relation ~ between theories T, S by T~ S iff Tis multidimensionaly locally interpretable in S, then ~is a. preordering. The induced partia.l ordering is a la.ttice ordering, it is called tke lattice of local interpretability iypes. We consider theories formali...
متن کاملWeakly Prime Elements in Lattice Modules
As a generalization of the notion of prime element and semiprime element, we introduce the notion of weakly prime element and weakly semiprime element in lattice modules. Some characterization of weakly prime and weakly semiprime elements are obtained. Throughout this paper, L will be a lattice domain.
متن کاملthe relationship between teaching styles and personality types of efl teachers in iranian schools
معلمان یکی از موثرترین عنصر برای موفقیت در هر سیستم آموزشی می باشند. این تحقیق? رابطه بین شخصیت معلمان و سبک های آموزشی شان را در محیط یادگیری زبان انگلیسی در ایران بررسی می کند. بهمین جهت? با توجه به موارد موجود? تعداد 45 نفر از معلمان زبان از مدارس مختلف تبریز انتخاب شدند. اطلاعات از طریق نوع شخصیت معلم و فهرستی از سبکهای آموزشی شان جمع آوری شد. تجزیه و تحلیل داده ها نشان داد که رابطه معنی دا...
ذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Transactions of the American Mathematical Society
سال: 1983
ISSN: 0002-9947
DOI: 10.1090/s0002-9947-1983-0712260-2